منابع مشابه
The Interaction Equivalency Theorem
This paper examines the key issues regarding The Interaction Equivalency Theorem posited by Anderson (2003a), which consists of the three interaction elements found in formal education courses among teacher, student, and content. It first examines the core concepts of the theorem and argues that two theses of different dimensions can be articulated in the theorem, namely, value and amount (or q...
متن کاملstudy of dna interaction with ethylenediaminetetraacetic acid and sesamol food additives
برهمکنش dnaتیموس گاوی طبیعی (ct-dna) با اتیلن دی آمین تترااستات (edta)در بافرtris-hcl با 8/7 ph ( دراین ph،edta به نمک دی سدیم تبدیل می شود) وسسامول در بافر tris-hcl با4/7 ph مورد بررسی قرار گرفته است. edta و سسامول استفاده فراوانی در تکنولوژی غذایی و صنعت شیمیایی دارند. مدل اتصال dna مربوط بهedta بوسیله اسپکتروفتومتری جذب، دورنگ نمایی حلقوی(cd)، ویسکومتری وژل الکتروفورز بررسی شده است. طیفuv ...
15 صفحه اولon some bayesian statistical models in actuarial science with emphasis on claim count
چکیده ندارد.
15 صفحه اولSome Results on Baer's Theorem
Baer has shown that, for a group G, finiteness of G=Zi(G) implies finiteness of ɣi+1(G). In this paper we will show that the converse is true provided that G=Zi(G) is finitely generated. In particular, when G is a finite nilpotent group we show that |G=Zi(G)| divides |ɣi+1(G)|d′ i(G), where d′i(G) =(d( G /Zi(G)))i.
متن کاملInteraction for Declarative Theorem Proving
This article is concerned with interactive support for \declarative theorem prov-ing". After introducing declarative theorem proving, both in general and as implemented in the Declare system, we outline the requirements of an interactive system in this context. We describe Ideclare, the interactive environment for Declare, and in particular its support for visualisation, logical navigation and ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory of Computing Systems
سال: 2017
ISSN: 1432-4350,1433-0490
DOI: 10.1007/s00224-016-9741-x